#ifndef _cpuid_h_
#define _cpuid_h_



/*
 * imprime la marca del cpu, y el tipo de procesador
 */
void getProcessorInfo(void);

/*
 * devuelve un string de 12 caracteres con el vendor ID 
 */
char* getVendorID(void);
#endif

